🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
higher: Your favourite Haskell type classes for Rust (2023)
github.com·3d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Why 2025 Is the Perfect Year to Rewrite in Rust
dev.to·2h·
Discuss: DEV
🦀Embedded Rust
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Rust Web Framework Analysis Deep Dive Safety Features（1750734074777000）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·6h
⬆️Lambda Lifting
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Counter Service: How we rewrote it in Rust
engineering.grab.com·2d
🔒Linear Types
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
arxiv.org·1d
🎯Gradual Typing
🦀 Understanding Lifetimes, Traits, Enums, and Pattern Matching in Rust
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Introduction - The Rustonomicon
doc.rust-lang.org·4d
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure（1750545683665600）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Driving the Rust Compiler to Compile Single Files as Shellcode
kirchware.com·1d·
Discuss: Hacker News
🦀Rust Macros
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification